🎯 Bit Vectors - abnv · Scour

🧬 Beginner-Friendly Guide 'Find Kth Bit in Nth Binary String' - Problem 1545 (C++, Python, JavaScript)

dev.to·24m·

Discuss: DEV

🔢Bit Manipulation

Determining Factorial Speed Fast

arxiv.org·20h

📦Compact Data

Completing the formal proof of higher-dimensional sphere packing

math.inc·6h·

Discuss: Hacker News

🧮Combinator Calculus

komrad36/CRC: Fastest CRC32 for x86, Intel and AMD, + comprehensive derivation and discussion of various approaches

github.com·23h

📦Compact Data

Implementing Burger-Dybvig: finding the shortest decimal that round-trips to the original IEEE 754 bits, with ECMA-262 tie-breaking

lattice-substrate.github.io·11h·

Discuss: r/programming

🔢Bit Manipulation

Embeddings Aren’t Magic: The Geometry of How Vectors Encode Meaning

hackernoon.com·5h

🧩Persistent Vectors

Zero-Incoherence Capacity of Interactive Encoding Systems: Achievability, Converse, and Side Information Bounds

arxiv.org·20h

⛪Church Encoding

Progressive State Transfer for BFT With Larger-than-Memory State

sciencedirect.com·21h

🔗Memory Linearization

Transformers Can Overcome the Curse of Dimensionality: A Theoretical Study from an Approximation Perspective

jmlr.org·13h

∀Quantified Types

μpack: Faster & more flexible integer compression

blog.cf8.gg·3d·

Discuss: r/programming, r/rust

📦Compact Data

Fenwick layout for interval trees

purplesyringa.moe·20h·

Discuss: r/coding

🤐Zipper Structures

nahhididwin/L-Representation: L-Representation: Turning a Single Integer \textit{L} into a Universal, Provably-Correct Geometric \& Algebraic Engine

github.com·19h·

Discuss: Hacker News

🔢Algebraic Datatypes

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·8h

📈Monotonic Logic

START HERE - Discrete Structures for Computer Science

publish.obsidian.md·1d

🪢Rope Data Structures

Weaponizing ML Models with Ransomware

hiddenlayer.com·1d

📏Linear Memory

Programming in K

news.ycombinator.com·22h·

Discuss: Hacker News

🔢Algebraic Datatypes

Beyond Pandas: Architecting High-Performance Python Pipelines

hackernoon.com·5h

📋JSON Parsing

Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning

papers.cool·21h

🎲Parser Fuzzing

Large induced matchings and minimal blocking sets using parabolas

anuragbishnoi.wordpress.com·4h

🔀SSA Construction

Tabular representation learning

breno.bearblog.dev·13h

🎰Parsing Machines

Loading more...